机译:法官和立法机构:新巴西民事诉讼法和民法法官如何充当普通法法官的限制
机译:促进阿富汗男女参与研究:参与实施“概念验证”项目的研究和社区合作伙伴的反思
机译:刑事诉讼中定罪和合理怀疑的证据标准:对巴西刑事司法可能的贡献分析
机译:从正式证明到数学证明:以一阶决策程序建立的安全,增量方式
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:促进阿富汗男女参与研究:参与实施概念验证项目的研究和社区合作伙伴的反思
机译:证明负担的动态分布理论和新的民事诉讼法中的实质性真理/证据动态分布理论的负担以及在新的民法典中寻找实质性真理